تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۶,۲۰ ثانیه یافت شد.

1. Formal techniques for distributed systems :

پدیدآورنده : Holger Giese, Grigore Rosu (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.

2. 16, 2012. Proceedings-Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13

پدیدآورنده : / Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE

رده :

E-BOOK

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است